type 0 grammar